$\forall$${\it es}$:ES, $e$:E. AtomFree(Type;valtype($e$))